extensionPrefs: Stop escaping extension name

The corresponding label no longer uses markup, so we can and should use
the unescaped name.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/2305

diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index 1ae010b36185f6c1f76d2cc91a5d12b7468c2335..02e68c76d651b0bb3b60f2635a54fa51cb6e7498 100644 (file)
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -633,8 +633,7 @@ var ExtensionRow = GObject.registerClass({
         });
         this._actionGroup.add_action(action);
 
-        let name = GLib.markup_escape_text(this.name, -1);
-        this._nameLabel.label = name;
+        this._nameLabel.label = this.name;
 
         let desc = this._extension.metadata.description.split('\n')[0];
         this._descriptionLabel.label = desc;